// JavaScript Document

function getMinimenuInfoBar(name) {//name=nombre/ID del minimenu
      node = document.getElementById(name);
      re = new RegExp('infoBar');
      els = node.getElementsByTagName('div');
      for(i=0,j=els.length; i<j; i++)
      	if(re.test(els[i].className))
		  return els[i];
      return null;
      }

function minimenuInfoSet(name, info, toLeft){ //name=nombre/ID del minimenu, info=String de informacion a mostrar en barra de informacion
	  infoDIV = getMinimenuInfoBar(name);	  	  
	  if (infoDIV){
	  	infoDIV.className='infoBar';
	  	if ((toLeft!=null)&&(toLeft))
	  		infoDIV.className='infoBarLeft';
	    infoDIV.innerHTML = info;
	  }
}